Aller au contenu

Prix Presburger

Un article de Wikipédia, l'encyclopédie libre.

Le prix Presburger est une distinction décernée par l'European Association for Theoretical Computer Science (EATCS) à un jeune scientifique qui a apporté des contributions exceptionnelles au domaine de l'informatique théorique. Le prix porte le nom du mathématicien polonais Mojżesz Presburger.

Description

[modifier | modifier le code]

Depuis 2010, l'EATCS décerne chaque année, lors de la conférence ICALP, un prix Presburger à un jeune chercheur (rarement à plusieurs jeunes chercheurs) pour une contribution exceptionnelle en informatique théorique, attestée par un article ou une série d'articles publiés[1]. Le prix porte le nom de Mojżesz Presburger qui a réalisé son travail novateur sur la décidabilité de la théorie de l'addition (qu'on appelle maintenant l'arithmétique de Presburger) en 1929, alors qu'il était encore étudiant.

Notes et références

[modifier | modifier le code]
  1. « Presburger Award », sur EATCS.
  2. a et b « Presburger Award, EATCS » (consulté le )
  3. « Presburger Award 2012, EATCS » (consulté le )
  4. « Presburger Award 2013, EATCS » (consulté le )
  5. « Presburger Award 2014, EATCS » (consulté le )
  6. Efi Chita, « The EATCS bestows the Presburger Award 2016 on Mark Braverman (Princeton University) », sur eatcs.org (consulté le ).
  7. « The EATCS bestows the Presburger Award 2017 on Alexandra Silva (University College London) », sur eatcs.org (consulté le ).
  8. « Laudatio 2017 ».
  9. (en) « The 2020 Presburger Committee consisting of Thore Husfeldt, Meena Mahajan and Anca Muscholl (chair) has unanimously selected Dmitriy Zhuk (Lomonosov Moscow State University) as recipient of the 2020 EATCS Presburger Award for young scientists.http://eatcs.org/ », sur twitter.com, @eatcs_secretary, (consulté le ).
  10. « Laudatio for Shayan Oveis Gharan »
  11. « Presburger Award 2022 – Laudatio for Dor Minzer », European Association for Theoretical Computer Science (consulté le )

Lien externe

[modifier | modifier le code]